Neil D. Jones (eds.)：在 Z-Library 上搜索

募捐 9月15日2024 – 10月1日2024 关于筹款

您通往知识和文化的门户。每个人都可以使用。

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

书籍 (19)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

1

Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6–8, 2002 Proceedings

Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6–8, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Neil D. Jones, Arne J. Glenstrup (auth.), Don Batory, Charles Consel, Walid Taha (eds.)

年:

2002

语言:

english

文件:

PDF, 3.85 MB

0 / 0

english, 2002

2

Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980

Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980

Springer-Verlag Berlin Heidelberg

Harald Ganzinger (auth.), Neil D. Jones (eds.)

年:

1980

语言:

english

文件:

DJVU, 3.13 MB

0 / 0

english, 1980

3

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Neil D. Jones (auth.), Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)

年:

2001

语言:

english

文件:

PDF, 6.88 MB

0 / 0

english, 2001

4

Logic, Language and Computation: Festschrift in Honor of Satoru Takasu

Logic, Language and Computation: Festschrift in Honor of Satoru Takasu

Springer-Verlag Berlin Heidelberg

Susumu Hayashi, Yukihide Takayama (auth.), Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.)

年:

1994

语言:

english

文件:

PDF, 12.62 MB

0 / 0

english, 1994

5

Dynamics Reported: Expositions in Dynamical Systems

Dynamics Reported: Expositions in Dynamical Systems

Springer-Verlag Berlin Heidelberg

Neil Fenichel (auth.), Christopher K. R. T. Jones, Urs Kirchgraber, Hans-Otto Walther (eds.)

年:

1996

语言:

english

文件:

PDF, 7.18 MB

0 / 0

english, 1996

6

Programs as Data Objects: Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings

Programs as Data Objects: Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Neil D. Jones (auth.), Olivier Danvy, Andrzej Filinski (eds.)

年:

2001

语言:

english

文件:

PDF, 2.62 MB

0 / 0

english, 2001

7

Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980

Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980

Springer-Verlag Berlin Heidelberg

Harald Ganzinger (auth.), Neil D. Jones (eds.)

年:

1980

语言:

english

文件:

PDF, 9.67 MB

0 / 0

english, 1980

8

Logic, Language and Computation: Festschrift in Honor of Satoru Takasu

Logic, Language and Computation: Festschrift in Honor of Satoru Takasu

Springer-Verlag Berlin Heidelberg

Susumu Hayashi, Yukihide Takayama (auth.), Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.)

年:

1994

语言:

english

文件:

DJVU, 1.98 MB

0 / 0

english, 1994

9

Programs as Data Objects: Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings

Programs as Data Objects: Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Neil D. Jones (auth.), Olivier Danvy, Andrzej Filinski (eds.)

年:

2001

语言:

english

文件:

PDF, 3.37 MB

0 / 0

english, 2001

10

Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6–8, 2002 Proceedings

Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6–8, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Neil D. Jones, Arne J. Glenstrup (auth.), Don Batory, Charles Consel, Walid Taha (eds.)

年:

2002

语言:

english

文件:

PDF, 5.68 MB

0 / 0

english, 2002

11

Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa Graz, Austria, June 10–11, 1994 Proceedings

Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa Graz, Austria, June 10–11, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Nils Andersen, Neil D. Jones (auth.), Juliani Karhumäki, Hermann Maurer, Grzegorz Rozenberg (eds.)

年:

1994

语言:

english

文件:

DJVU, 3.61 MB

0 / 0

english, 1994

12

Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa Graz, Austria, June 10–11, 1994 Proceedings

Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa Graz, Austria, June 10–11, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Nils Andersen, Neil D. Jones (auth.), Juliani Karhumäki, Hermann Maurer, Grzegorz Rozenberg (eds.)

年:

1994

语言:

english

文件:

PDF, 6.62 MB

0 / 0

english, 1994

13

The Price

The Price

Jones Stephen (edit), Gaiman Neil, Sutton David (eds)

语言:

english

文件:

RAR, 10 KB

0 / 0

english

14

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

E. Allen Emerson (auth.), Neil D. Jones, Markus Müller-Olm (eds.)

年:

2009

语言:

english

文件:

PDF, 3.93 MB

0 / 0

english, 2009

15

ESOP '90: 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings

ESOP '90: 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Henk Barendregt, Kees Hemerik (auth.), Neil Jones (eds.)

年:

1990

语言:

english

文件:

DJVU, 4.69 MB

0 / 0

english, 1990

16

Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings

Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Neil D. Jones, Nina Bohr (auth.), Vincent van Oostrom (eds.)

年:

2004

语言:

english

文件:

PDF, 6.10 MB

0 / 0

english, 2004

17

Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Harald Ganzinger, Neil D. Jones (eds.)

年:

1986

语言:

english

文件:

DJVU, 3.68 MB

0 / 0

english, 1986

18

Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Harald Ganzinger, Neil D. Jones (eds.)

年:

1986

语言:

english

文件:

PDF, 8.74 MB

0 / 0

english, 1986

19

Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings

Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Neil D. Jones, Nina Bohr (auth.), Vincent van Oostrom (eds.)

年:

2004

语言:

english

文件:

PDF, 4.30 MB

0 / 0

english, 2004